| 1. | The Cartesian product of an infinite set and a nonempty set is infinite.
|
| 2. | Now let X be a nonempty set.
|
| 3. | Let be a nonempty set and let denote the set of all finite subsets of.
|
| 4. | Let M be a nonempty set.
|
| 5. | Then, every number maps to a nonempty set and no number maps to the empty set.
|
| 6. | Let X be an arbitrary nonempty set and let G be a commutative semigroup acting on X.
|
| 7. | Let \ mathbb { T } be a nonempty collection of nonempty sets of attribute-value pairs.
|
| 8. | These entities form the domain of discourse or universe, which is usually required to be a nonempty set.
|
| 9. | The union of a nonempty set of ordinals that has no greatest element is then always a limit ordinal.
|
| 10. | If sets are admitted, M8 asserts the existence of the fusion of all members of any nonempty set.
|